[IA64] pass vcpu nr to guest firmware
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Mon, 5 Jun 2006 20:23:57 +0000 (14:23 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Mon, 5 Jun 2006 20:23:57 +0000 (14:23 -0600)
commitae0bcae60a74e4fd2193e15db29fb819e27514f0
tree7681cef987ba5fb137c2802c5bc6bc222dbc9979
parent6748ed3224815dbc85f20e51350c1aaee5d22bea
[IA64] pass vcpu nr to guest firmware

This patch pass the vcpus number to VT-i domain guest firmware,
so that guest firmware can set SMP info accordingly, mostly in
ACPI MADT table.

This patch is required by VT-i  SMP support.

Signed-off-by: Yu Ke <ke.yu@intel.com>
tools/libxc/xc_ia64_stubs.c